Software verstehen, zerstören, schützen mit automatischen Software-Modellen
نویسنده
چکیده
Modelle und Spezifikationen sind die Grundlage jeder vernünftigen SoftwareEntwicklung. Was aber, wenn man Modelle und Spezifikationen aus bestehenden Programmen ableiten könnte? Unsere aktuellen Arbeiten nehmen ein Programm und einige Beispieleingaben und leiten automatisch Grammatiken ab, die Eingabeund Ausgabeformat beschreiben. So kann unser AUTOGRAM-System etwa für die JavaURL-Klasse aus den folgenden Beispiel-URLs
منابع مشابه
Lessons Learned beim Übergang von Funktionsmodellierung mit Verhaltensmodellen zu Modellbasierter Software-Entwicklung mit Implementierungsmodellen
Ein vielversprechender Ansatz für die Entwicklung immer komplexerer softwarebasierter Systeme im Automobil besteht in der Anwendung von modellbasierten Entwicklungsmethoden, bei denen sowohl die frühe Funktionsentwicklung als auch die Implementierung der Funktionssoftware durch die Erstellung von graphischen Modellen und den Einsatz von Codegeneratoren unterstützt wird. Im Rahmen dieser Entwick...
متن کاملModellierung und Qualitätssicherung von UML-Modellen der Geschäftslogik von Informationssystemen
Der zunehmenden Komplexität von Software-Modellen, die als Parameter für Codegenerierung verwendet werden, steht der menschliche Modellierer gegenüber, dessen mögliche Modellierungsfehler sich direkt auf das generierte Systemverhalten auswirken. Der Modellierer muss je nach konkreter Aufgabe die gewünschte Sicht auf das Modell wählen können und darüber hinaus durch automatische Qualitätssicheru...
متن کاملZuverlässige Software durch den Einsatz von UML, MDA und der Programmiersprache Ada
Sowohl die Qualität der entwickelten Software und ihre Fehlerquote als auch ihre Kosten in der Wartungsphase sind trotz Softwareentwicklungsumgebungen, Vorgehensmodellen und Werkzeugen nicht befriedigend. Zuverlässige Software für den Dauerbetrieb muss erhöhten Anforderungen genügen. Um sowohl Qualitätsanforderungen als auch Kosten in den Griff zu bekommen, sind Modelle unterschiedlichen Detail...
متن کاملAutomatisierte Erzeugung von TTCN-3 Testfiällen aus UML-Modellen
Der Test von Software ist ein notwendiges, jedoch ressourcenintensives Unterfangen. Aus diesem Grund wurden verschiedene Ansätze entwickelt, die einzelnen Aspekte des Softwaretests zu automatisieren. In diesem Paper stellen wir einen Ansatz zur automatischen Testfallerzeugung für den modellbasierten Test vor. Dabei werden aus UML-Modellen eines Softwaresystems und der Beschreibung von Testszena...
متن کاملVerstehen natürlicher Sprache für den Mensch-Maschine-Dialog
In diesem Beitrag wird ein System zum automatischen Verstehen sowie zum automatischen Übersetzen natürlicher, gesprochener Sprache beschrieben. Das Kernstück ist hierbei ein semantischer Decoder, welcher aus einem vorverarbeiteten Sprachsignal mit einer stochastischen maximum-a-posteriori Klassifikation unmittelbar eine semantische Darstellung bestimmt. Dabei wird akustisches, phonetisches, syn...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2016